Nuprl Definition : es-vartype
0,22
postcript
pdf
vartype(
i
;
x
) == es-T(
es
)(
i
,
x
)
latex
clarification:
es-vartype(
es
;
i
;
x
) == es-T(
es
)(
i
,
x
)
latex
Definitions
f
(
a
)
,
es-T(
es
)
FDL editor aliases
es-vartype
origin